منابع مشابه
Not Enough Points Is Enough
Models of the untyped λ-calculus may be defined either as applicative structures satisfying a bunch of first order axioms, known as “λ-models”, or as (structures arising from) any reflexive object in a cartesian closed category (ccc, for brevity). These notions are tightly linked in the sense that: given a λ-model A, one may define a ccc in which A (the carrier set) is a reflexive object; conve...
متن کاملWhen Enough Is Not Enough
People are often exposed to more information than they can actually remember. Despite this frequent form of information overload, little is known about how much information people choose to remember. Using a novel “stop” paradigm, the current research examined whether and how people choose to stop receiving new—possibly overwhelming—information with the intent to maximize memory performance. Pa...
متن کاملScience is not enough: the modern history of pediatric pain.
The early modern scientific work on pediatric pain emanated mostly from postwar Europe and was focused on recurrent pains. The seminal work was by Vahlquist [25,26], and later by Bille [10] in Sweden. Vahlquist’s research on pediatric headache in Stockholm and Bille’s doctoral dissertation, a large-scale epidemiologic study of the children of Uppsala, laid the foundation for the many subsequent...
متن کاملCorrectness is not enough
The usual aim of spreadsheet audit is to verify correctness. There are two problems with this: first, it is often difficult to tell whether the spreadsheets in question are correct, and second, even if they are, they may still give the wrong results. These problems are explained in this paper, which presents the key criteria for judging a spreadsheet and discusses how those criteria can be achi...
متن کاملTranslation Is Not Enough
ED INLINE CODES Inline codes, such as markers for bold or italics, links information or image references, can be represented using either an encapsulation mechanism or a placeholder method. Those are derived respectively from TMX and OpenTag. The encapsulation mechanism consists of bracketing the inline codes between special elements. XLIFF keeps a syntax very close to TMX: (begin paired-...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Evolution
سال: 1991
ISSN: 0014-3820
DOI: 10.1111/j.1558-5646.1991.tb04374.x